Automated Trace Analysis of Discrete-Event System Models
نویسندگان
چکیده
منابع مشابه
1999: Incremental System Development of Large Discrete-event Simulation Models
The paper presents a methodology for incremental development of large discrete-event simulation models. The proposed methodology has evolved during a project performed in collaboration with BT Products. The methodology is based on configuration management to secure simulation model integrity and modularization of the model. Modularization reduces complexity, allows modeling at a higher level of...
متن کاملDecentralized prognosis of fuzzy discrete-event systems
This paper gives a decentralized approach to the problem of failure prognosis in the framework of fuzzy discrete event systems (FDES). A notion of co-predictability is formalized for decentralized prognosis of FDESs, where several local agents with fuzzy observability rather than crisp observability are used in the prognosis task. An FDES is said to be co-predictable if each faulty event can be...
متن کاملExtracting Discrete Event System Models from Hybrid Control Systems
In this paper, the state space partitioning in the interface of the hybrid control system is modeled using covering halfspaces; this formulation extends the model introduced in [7]. The covering halfspaces are used to define a set of plant events and a discrete event system model is generated which captures the behavior of the plant and interface of the hybrid control system.
متن کاملDiscrete Event Systems Models and Methods for System Design
ii Preface The following material has been selected for the course " Discrete Event Dynamic Systems " which is part of the curriculum for students in electrical engineering at Swiss Federal Institute of Technology, Zurich. The course has been given the first time in the summer term 1998. The book material not only deals with dynamic systems, it is dynamic itself. During the current term, it wil...
متن کاملCOMPOSING HYBRID DISCRETE EVENT SYSTEM AND CELLULAR AUTOMATA MODELS by
Hybrid system models — those devised from two or more disparate sub-system models — provide a number of benefits in terms of conceptualization, development, and assessment of dynamical systems. The decomposition approach helps to formulate complex interactions that are otherwise difficult or impractical to express. However, hybrid model development and usage can introduce complexity that emerge...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 2009
ISSN: 0098-5589
DOI: 10.1109/tse.2008.75